(: Name: fn-true-14 :)
(: Description: Evaluation of an "fn:true" function with a comparison expression involving the "<=" operator. :)
fn:true() <= fn:true()